Heister, Peter: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Generalized Definitional Reflection and the Inversion Principle

Peter Schroeder-Heister

Journal:

Logica Universalis

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

2

Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning

Peter Schroeder-Heister

Journal:

Year:

2012

Language:

english

File:

PDF, 522 KB

english, 2012

3

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus

Peter Schroeder-Heister

Journal:

Journal of Philosophical Logic

Year:

2011

Language:

english

File:

PDF, 237 KB

english, 2011

4

A Natural Extension of Natural Deduction

Peter Schroeder-Heister

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 355 KB

english, 1984

5

Popper's theory of deductive inference and the concept of a logical constant

Schroeder-Heister, Peter

Journal:

History and Philosophy of Logic

Year:

1984

Language:

english

File:

PDF, 1.41 MB

english, 1984

6

Frege’s permutation argument revisited

Kai Frederick Wehmeier, Peter Schroeder-Heister

Journal:

Year:

2005

Language:

english

File:

PDF, 204 KB

english, 2005

7

Introduction: Proof-theoretic Semantics

Reinhard Kahle, Peter Schroeder-Heister

Journal:

Year:

2006

Language:

english

File:

PDF, 155 KB

english, 2006

8

Recent frege studies

Schroeder-Heister, Peter, Gottfried Gabriel, Rezensiert von

Journal:

History and Philosophy of Logic

Year:

1983

Language:

english

File:

PDF, 460 KB

english, 1983

9

Book Reviews

Smith, Robin, Green-Pedersen, N.J., Holdcroft, David, Peter Schroeder-Heister, Rezensiert von, Loptson, Peter, Hodes, Harold, Corrado Mangione, Recensione di, Simons, P.M., Tee, G.J.

Journal:

History and Philosophy of Logic

Year:

1984

Language:

english

File:

PDF, 2.77 MB

english, 1984

10

The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle

Peter Schroeder-Heister

Journal:

Journal of Philosophical Logic

Year:

1983

Language:

english

File:

PDF, 857 KB

english, 1983

11

Validity Concepts in Proof-theoretic Semantics

Peter Schroeder-Heister

Journal:

Year:

2006

Language:

english

File:

PDF, 267 KB

english, 2006

12

Book reviews

Pinaki Chakraborti, Johannes Heister, Peter Michaelis, Gordon de Brouwer, Deepak Lal, Mohammed Ansari, Klaus Schrader, Jörg-Volker Schrader

Journal:

Review of World Economics

Year:

1992

Language:

english

File:

PDF, 1.03 MB

english, 1992

13

Conservativeness and uniqueness

, Peter Schroeder-Heister

Journal:

Year:

1985

Language:

english

File:

PDF, 572 KB

english, 1985

14

The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics

Peter Schroeder-Heister

Journal:

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

15

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony

Schroeder-Heister, Peter

Journal:

Year:

2014

Language:

english

File:

PDF, 306 KB

english, 2014

16

Bibliographie Hugo Dingler (1881-1954)

Peter Schroeder-Heister

Journal:

Zeitschrift für philosophische Forschung

Year:

1981

Language:

german

File:

PDF, 1.36 MB

german, 1981

17

International Encyclopedia of the Social & Behavioral Sciences || Popper, Karl Raimund (1902–94)

Schroeder-Heister, Peter

Year:

2015

Language:

english

File:

PDF, 104 KB

english, 2015

18

Reduction, Representation and Commensurability of Theories

Peter Schroeder-Heister and Frank Schaefer

Journal:

Philosophy of Science

Year:

1989

Language:

english

File:

PDF, 628 KB

english, 1989

19

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || A logic program for transforming sequent proofs to natural deduction proofs

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.63 MB

english, 1991

20

Ekman’s Paradox

Schroeder-Heister, Peter, Tranchini, Luca

Journal:

Notre Dame Journal of Formal Logic

Year:

2017

Language:

english

File:

PDF, 304 KB

english, 2017

21

How to Ekman a Crabbé-Tennant

Schroeder-Heister, Peter, Tranchini, Luca

Journal:

Year:

2018

Language:

english

File:

PDF, 517 KB

english, 2018

22

Biomechanical and immunohistochemical analysis of high hydrostatic pressure-treated Achilles tendons

Peter Diehl, Erwin Steinhauser, Hans Gollwitzer, Cornelia Heister, Johannes Schauwecker, Stefan Milz, Wolfram Mittelmeier, Manfred Schmitt

Journal:

Journal of Orthopaedic Science

Year:

2006

Language:

english

File:

PDF, 351 KB

english, 2006

23

Book reviews

Federico Foders, Frank D. Weiss, Suphan Andic, Manfred Neldner, Harmen Lehment, Torsten Tewes, Johannes Heister, Bernhard Klein, Claus Schnabel, Peter Michaelis, Peter Nunnenkamp

Journal:

Review of World Economics

Year:

1991

Language:

english

File:

PDF, 1.34 MB

english, 1991

24

Evidence for stimulus-response compatibility effects in a divided visual field study of cerebral lateralization

Gabriele Heister, Peter Schroeder-Heister

Journal:

Acta Psychologica

Year:

1987

Language:

english

File:

PDF, 764 KB

english, 1987

25

Spatial S-R compatibility under head tilt

Peter Schroeder-Heister, Gabriele Heister, Walter H. Ehrenstein

Journal:

Acta Psychologica

Year:

1988

Language:

english

File:

PDF, 638 KB

english, 1988

26

Spatial S-R compatibility: Positional instruction vs. compatibility instruction

Gabriele Heister, Peter Schroeder-Heister

Journal:

Acta Psychologica

Year:

1994

Language:

english

File:

PDF, 738 KB

english, 1994

27

S-R compatibility effect or cerebral laterality effect? Comments on a controversy

Gabriele Heister, Peter Schroeder-Heister

Journal:

Neuropsychologia

Year:

1985

Language:

english

File:

PDF, 441 KB

english, 1985

28

Shift of functional cerebral asymmetry during the menstrual cycle

Gabriele Heister, Theodor Landis, Marianne Regard, Peter Schroeder-Heister

Journal:

Neuropsychologia

Year:

1989

Language:

english

File:

PDF, 894 KB

english, 1989

29

Spatial S-R compatibility with unimanual two-finger choice reactions: Effects of irrelevant stimulus location

Gabriele Heister, Walter H. Ehrenstein, Peter Schroeder-Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1987

Language:

english

File:

PDF, 893 KB

english, 1987

30

Spatial S-R compatibility with orthogonal stimulus-response relationship

Walter H. Ehrenstein, Peter Schroeder-Heister, Gabriele Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1989

Language:

english

File:

PDF, 750 KB

english, 1989

31

Spatial S-R compatibility effects with unimanual two-finger choice reactions for prone and supine hand positions

Gabriele Heister, Walter H. Ehrenstein, Peter Schroeder-Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1986

Language:

english

File:

PDF, 1.02 MB

english, 1986

32

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules

HALLNÄS, LARS, SCHROEDER-HEISTER, PETER

Journal:

Journal of Logic and Computation

Year:

1990

Language:

english

File:

PDF, 1.16 MB

english, 1990

33

A Proof-Theoretic Approach to Logic Programming

HALLNÄS, LARS, SCHROEDER-HEISTER, PETER

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 1.33 MB

english, 1991

34

Higher Dispersion Efficacy of Functionalized Carbon Nanotubes in Chemical and Biological Environments

Heister, Elena, Lamprecht, Constanze, Neves, Vera, Tîlmaciu, Carmen, Datas, Lucien, Flahaut, Emmanuel, Soula, Brigitte, Hinterdorfer, Peter, Coley, Helen M., Silva, S. Ravi P., McFadden, Johnjoe

Journal:

Year:

2010

Language:

english

File:

PDF, 3.58 MB

english, 2010

35

Definitional Reflection and Basic Logic

Schroeder-Heister, Peter

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 176 KB

english, 2013

36

The factors involved in the adsorption of glycoproteins from saliva onto hydroxy-apatite surfaces

Heister, Gabriele, Schroeder-Heister, Peter

Journal:

Journal of Dentistry

Year:

1979

Language:

english

File:

PDF, 89 KB

english, 1979

37

A Note on Location of the Decisional Stages of Choice Reactions in the Left Hemisphere

Heister, Gabriele, Schroeder-Heister, Peter

Journal:

Year:

1984

Language:

english

File:

PDF, 378 KB

english, 1984

38

Assessment of the medical status of Asian immigrant children undergoing dental care

Heister, Gabriele, Schroeder-Heister, Peter

Journal:

Journal of Dentistry

Year:

1982

Language:

english

File:

PDF, 44 KB

english, 1982

39

Failure of Completeness in Proof-Theoretic Semantics

Piecha, Thomas, de Campos Sanz, Wagner, Schroeder-Heister, Peter

Journal:

Journal of Philosophical Logic

Year:

2015

Language:

english

File:

PDF, 947 KB

english, 2015

40

Growth and Proliferation of Human Embryonic Stem Cells on Fully Synthetic Scaffolds Based on Carbon Nanotubes

Brunner, Eric W., Jurewicz, Izabela, Heister, Elena, Fahimi, Azin, Bo, Chiara, Sear, Richard P., Donovan, Peter J., Dalton, Alan B.

Journal:

ACS Applied Materials & Interfaces

Year:

2014

Language:

english

File:

PDF, 3.81 MB

english, 2014

41

Frege and the resolution calculus

Schroeder-Heister, Peter

Journal:

History and Philosophy of Logic

Year:

1997

Language:

english

File:

PDF, 581 KB

english, 1997

42

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 1050 || Handling equality in logic programming via basic folding

Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter

Year:

1996

Language:

english

File:

PDF, 970 KB

english, 1996

43

Schüler Wolfgang. Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol. 3, Felix Meiner Verlag, Hamburg 1983, xv + 190 pp.

Schroeder-Heister, Peter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 258 KB

english, 1989

44

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Logic programming with strong negation

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.05 MB

english, 1991

45

BOOK NOTE

Friedrichsdorf, Ulf, Schroeder-Heister, Peter

Journal:

Journal of Semantics

Year:

1985

Language:

english

File:

PDF, 99 KB

english, 1985

46

Uniqueness, definability and interpolation

Došen, Kosta, Schroeder-Heister, Peter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

47

ON FLATTENING ELIMINATION RULES

OLKHOVIKOV, GRIGORY K., SCHROEDER-HEISTER, PETER

Journal:

The Review of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 100 KB

english, 2014

48

The Molecular Spectrum of Beta-Thalassemia and Abnormal Hemoglobins in the Allochthonous and Autochthonous Dutch Population

Giordano, Piero C., Harteveld, Cees L., Heister, Angelien J.G.M., Batelaan, Desir&eacute, e, van Delft, Peter, Plug, Rob, Losekoot, Monique, Bernini, Luigi F.

Journal:

Community Genetics

Year:

1998

Language:

english

File:

PDF, 273 KB

english, 1998

49

[ACM Press CHI 98 conference summary - Los Angeles, California, United States (1998.04.18-1998.04.23)] CHI 98 conference summary on Human factors in computing systems - CHI '98 - Double agent---presentation and filtering agents for a digital television recording system

Meuleman, Peter, Heister, Anita, Kohar, Han, Tedd, Douglas

Year:

1998

Language:

english

File:

PDF, 259 KB

english, 1998

50

[Trends in Logic] Advances in Proof-Theoretic Semantics Volume 43 ||

Piecha, Thomas, Schroeder-Heister, Peter

Year:

2016

Language:

english

File:

PDF, 2.69 MB

english, 2016